perm filename CIRCUM.FIL[E83,JMC] blob sn#722124 filedate 1983-08-02 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	bird[f82,jmc]		Another version of "A bird can fly unless ...
C00004 ENDMK
CāŠ—;
bird[f82,jmc]		Another version of "A bird can fly unless ...
bird.2[f82,jmc]		Another approach to " A bird can fly unless
bird.3[f82,jmc]		The reasoning itself
circum[f82,jmc]		Mathematical questions of circumscription
circum.dis[f82,jmc]	Mailing list for reports on circumscription
circum.ex[f82,jmc]	Examples for circumscription paper
circum.lec[f82,jmc]	Notes for lecture on circumscription
circum.mor[f82,jmc]	More on circumscription - for IJCAI or AAAI
airpor[w83,jmc]		Axioms for the airport problem
blocks[w83,jmc]		Blocks axioms using circumscription
circum.com[w83,jmc]	Making circumscription computable
circum.not[w83,jmc]	More: 1. Circumscribing when generalizing